Basic Logic and Quantum Entanglement
نویسنده
چکیده
As it is well known, quantum entanglement is one of the most important features of quantum computing, as it leads to massive quantum parallelism, hence to exponential computational speed-up. In a sense, quantum entanglement is considered as an implicit property of quantum computation itself. But...can it be made explicit? In other words, is it possible to find the connective "entanglement" in a logical sequent calculus for the machine language? And also, is it possible to "teach" the quantum computer to "mimic" the EPR "paradox"? The answer is in the affirmative, if the logical sequent calculus is that of the weakest possible logic, namely Basic logic. A weak logic has few structural rules. But in logic, a weak structure leaves more room for connectives (for example the connective "entanglement"). Furthermore, the absence in Basic logic of the two structural rules of contraction and weakening corresponds to the validity of the no-cloning and no-erase theorems, respectively, in quantum computing.
منابع مشابه
Voltage-Controlled Entanglement between Quantum- Dot Molecule and its Spontaneous Emission Fields via Quantum Entropy
The time evolution of the quantum entropy in a coherently driven threelevel quantum dot (QD) molecule is investigated. The entanglement of quantum dot molecule and its spontaneous emission field is coherently controlled by the gat voltage and the intensity of applied field. It is shown that the degree of entanglement between a three-level quantum dot molecule and its spontaneous emission fields...
متن کاملCoherent Control of Quantum Entropy via Quantum Interference in a Four-Level Atomic System
The time evaluation of quantum entropy in a four-level double- type atomic system is theoretically investigated. Quantum entanglement of the atom and its spontaneous emission fields is then discussed via quantum entropy. It is found that the degree of entanglement can be increased by the quantum interference induced by spontaneous emission. The phase dependence of the atom-field entanglement is...
متن کاملدرهمتنیدگی کوانتومی و گذار فاز کوانتومی تحت اتلاف در مدل ناهمسانگرد هایزنبرگ XXZ با برهمکنش ژیالوسینکی - موریا
Because the key issue in quantum information and quantum computing is entanglement, the investigation of the effects of environment, as a source of quantum dissipation, and interaction between environment and system on entanglement and quantum phase transition is important. In this paper, we consider two-qubit system in the anisotropic Heisenberg XXZ model with the Dzyaloshinskii-moriya inter...
متن کاملEntanglement of an Atom and Its Spontaneous Emission Fields via Spontaneously Generated Coherence
The entanglement between a ?-type three-level atom and its spontaneous emission fields is investigated. The effect of spontaneously generated coherence (SGC) on entanglement between the atom and its spontaneous emission fields is then discussed. We find that in the presence of SGC the entanglement between the atom and its spontaneous emission fields is completely phase dependent, while in absen...
متن کاملTurning the Liar paradox into a metatheorem of Basic logic
We show that self-referentiality can be formalized in Basic logic by means of a new connective: @, called "entanglement". In fact, the property of non-idempotence of the connective @ is a metatheorem, which states that a self-referential sentence loses its own identity. This prevents having self-referential paradoxes in the corresponding metalanguage.
متن کامل